#include<stdio.h>
int main(){
 printf("%d",1212);
}
